Kind(${\it da}$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$\{$k$:Knd$\mid$ fpf{-}dom(KindDeq; $k$; ${\it da}$) \}